Conformance of Distributed Systems
نویسندگان
چکیده
This paper introduces a new conformance relation between a specification and an implementation of a distributed system. It is based on a local view which allows to avoid or reduce the state explosion problem. The conformance relation is defined via Petri nets and shows not only equivalence between transitions but also equivalence between local states. This equivalence depends on the structural properties of the Petri net and is independent of any specific initial marking. We compare our notion of conformance to classical ones and give model checking and test case generation algorithms for it.
منابع مشابه
Testing and Conformance within Distributed Systems
The objective of Open Distributed Processing (ODP) is to support the construction of distributed systems in a multi-vendor environment through the provision of an architectural framework that such systems must adhere to. However, without a means to assess conformance the value of this architecture is limited. This paper describes a conformance assessment methodology suitable for Open Distribute...
متن کاملConformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing based on the object model. With object-based service specifications the need for conformance testing of object implementations arises to ensure that objects act as intended. The issue of conformance testing is of part...
متن کاملA Tool for Fault Injection and Conformance Testing of Distributed Systems
This paper presents an approach for conformance testing and fault injection of distributed systems supported by a tool named FSoFIST (Ferry-clip with Software Fault Injection Support Tool). The approach extends the ferryclip concept to cope with fault injection. The ferry-clip concept was aimed at providing a highly modular, flexible and configurable architecture for protocol conformance testin...
متن کاملA Symbolic Framework for the Conformance Checking of Value-Passing Choreographies
Choreographies, thanks to their abstract and global perspective, are well-suited to the specification of distributed systems such as service compositions and collaborative business processes. Choreography conformance checking aims at verifying whether a set of distributed peers or local role specifications match a global specification. This activity is central in both top-down and bottom-up dev...
متن کاملDistributed Testing of Concurrent Systems: Vector Clocks to the Rescue
The ioco relation has become a standard in model-based conformance testing. The co-ioco conformance relation is an extension of this relation to concurrent systems specified with true-concurrency models. This relation assumes a global control and observation of the system under test, which is not usually realistic in the case of physically distributed systems. Such systems can be partially obse...
متن کامل